Several countries maintain universal health coverage, which implies responsibility to organize delivery formats of healthcare services and products for citizens. In Brazil, the health system has a principle of universal access for more than 30 years, but many deficiencies remain and the country observes a day practice for those seeking judicial decisions to determine provision of healthcare.

Introdução: as inovações tecnológicas que surgem no contexto dos Arquivos estão diretamente ligadas à sua capacidade de evolução e adaptação. Descobrir e estudar quais dessas novas tecnologias podem ser mais bem aproveitadas nos Arquivos pode ser a diferença entre evoluir ou padecer. Objetivo: mapear as tendências recentes encontradas na literatura científica sobre as mudanças que estão ocorrendo nos Arquivos. Metodologia: foi realizada uma revisão de literatura, para determinar as principais tendências encontradas na literatura científica recente, a partir do ano de (...) 2015, sobre as inovações e mudanças que têm ocorrido nos Arquivos. Resultados: observa que alguns aspectos de destaque no que concerne às Arquivos do futuro: evolução da web, makerspaces, redes sociais e mudança no perfil do profissional que trabalha com Arquivos. Conclusões: O futuro dos Arquivos é ainda incerto, mas aponta em algumas direções, e é definitivamente digital, com acesso universal, porém não gratuito, também admite a esfera de social, interativa e vivo em constante evolução, uma evoluir bem mais rápido e dinâmico do que o observado no século XX. (shrink)

O Brasil, diz Millôr Fernandes, tem um enorme passado pela frente e, esse projeto de nação ergue-se com a memória coletiva. Nessa via, o objetivo do estudo é analisar bibliometricamente como a temática ‘memória coletiva’ se apresenta indexada no acervo da literatura científica da Ciência da Informação - Brapci. A pesquisa estabelece métricas sobre o quantitativo anual de publicações, os periódicos e os autores envolvidos, as palavras chaves mais frequentes. Estabelecido o recorte dos últimos dez anos completos, são recuperados 50 (...) artigos. O diagnóstico nota a sustentabilidade da produção científica relacionada ao tema memória coletiva e, com o debate das práticas patrimoniais e memorialistas alinham-se ações em prol da visibilidade, do acautelamento e da proteção do Patrimônio Cultural. Conclui-se que entre os anos de 2017 e 2021 a temática memória coletiva adentra na Ciência da Informação, cingindo construtos em prol da ética, da transparência e dos direitos humanos. A temática processa amplas provocações e reflexões que, por meio das narrativas da memória e do esquecimento estão ligadas ao status teórico-linguístico inerente às interfaces do Ser Informação. (shrink)

We first state a few previously obtained results that lead to general undecidability and incompleteness theorems in axiomatized theories that range from the theory of finite sets to classical elementary analysis. Out of those results we prove several incompleteness theorems for axiomatic versions of the theory of noncooperative games with Nash equilibria; in particular, we show the existence of finite games whose equilibria cannot be proven to be computable.

De 1964 a 1985 o Brasil viveu sob um regime de governo ditatorial que de acordo com a historiografia mais recente foi sustentado, em grande parte, pela própria sociedade civil (MELO, 2012; COMISSÃO, 2014). Mais recentemente, a partir dos anos 1980, cresce o movimento de criação de espaços de memória corporativos com o objetivo de tornar pública a trajetória histórica das empresas (COSTA; SARAIVA, 2011). Dentre estes espaços, adquire relevância os Centros de Memória e documentação como lugares de armazenamento (...) e lembrança de memória organizacional, que ajudam a construir simbolicamente a imagem organizacional e a fornecer um senso de coerência e trajetória linear (RIBEIRO; BARBOSA, 2007). Neste contexto, e com base na documentação disponibilizada pela Comissão Nacional da Verdade, a presente pesquisa tem por objetivo identificar como o Museu Histórico da Fundação Bradesco retrata (ou deixa de retratar) o relacionamento da empresa Bradesco com o governo brasileiro no período da ditadura civil-militar. FIRMS, BRAZILIAN CIVIL-MILITARE DICTATORSHIP, AND MEMORY AND CORPORATIVE DOCUMENTATION CENTERS: AN EXPLORATORY STUDY From 1964 to 1985, Brazil lived under a dictatorial system of government that according to the latest historiography was sustained largely by civil society (MELO, 2012; COMISSÃO, 2014). More recently, since the 1980s, it is possible to be noticed the growing movement of creation of corporate memory spaces in order to make public the historical trajectory of the companies (COSTA and SARAIVA, 2011). Among these spaces, acquires relevance the Corporate Documentation and Memory Centers, which help to symbolically build the organizational image and to provide a sense of consistency and linear trajectory (RIBEIRO and BARBOSA, 2007). In this context, and based on documentation provided by the National Commission of Truth, this research aims to identify how the History Museum of Bradesco Foundation portrays (or does not portray) the relationship between Bradesco company and the Brazilian government in the period of civil-military dictatorship. (shrink)

Aspectos biográficos -- Aspectos epistemológicos e conceituais -- Diálogos com outros autores -- Aplicação da pedagogia freireana.

Frame Semantics includes context as a central aspect of the theory. Frames themselves can be regarded as a representation of the immediate context against which meaning is to be construed. Moreover, the notion of frame invocation includes context as one possible source of information comprehenders use to construe meaning. As the original implementation of Frame Semantics, Berkeley FrameNet is capable of providing computational representations of some aspects of context, but not all of them. In this article, we present FrameNet Brasil: (...) a framenet enriched with qualia relations and capable of taking other semiotic modes as input data, namely pictures and videos. We claim that such an enriched model is capable of addressing other types of contextual information in a framenet, namely sentence-level cotext and commonsense knowledge. We demonstrate how the FrameNet Brasil software infrastructure addresses contextual information in both database construction and corpora annotation. We present the guidelines for the construction of two multimodal datasets whose annotations represent contextual information and also report on two experiments: the identification of frame-evoking lexical units in sentences and a methodology for domain adaptation in Neural Machine Translation that leverages frames and qualia for representing sentence-level context. Experimental results emphasize the importance of computationally representing contextual information in a principled structured fashion as opposed to trying to derive it from the manipulation of linguistic form alone. (shrink)

Aborda-se a prática interpretativa no Direito a partir da necessidade de um “acerto de contas” (accountability) do Direito com a Filosofia. A aplicação dos indícios formais como um método fenomenológico suficiente a valorizar o caso concreto e permitir o desvelamento do sentido das coisas aparece como alternativa. Busca-se um caminho teórico-filosófico alternativo consistente para guiar uma investigação interpretativa suficiente para o Direito. Toma-se como referencial teórico a Hermenêutica Ontológico-Existencial (Martin Heidegger e Hans-Georg Gadamer), à luz da filtragem da Crítica Hermenêutica (...) do Direito, de Lenio Streck, procurando assinalar a relevância da “situação hermenêutica” em todo ato interpretativo. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da (...) class='Hi'>Costa's calculi C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. It is well known from universal algebra that, for every signature \, there exist algebras over \ which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of \-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms. Equivalently, the forgetful functor, from the category of \-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor \, from the category of \-multialgebras to Set, does not have a left adjoint. In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices, there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that \ does not have a left adjoint. (shrink)

The 3-valued paraconsistent logic Ciore was developed by Carnielli, Marcos and de Amo under the name LFI2, in the study of inconsistent databases from the point of view of logics of formal inconsistency (LFIs). They also considered a first-order version of Ciore called LFI2*. The logic Ciore enjoys extreme features concerning propagation and retropropagation of the consistency operator: a formula is consistent if and only if some of its subformulas is consistent. In addition, Ciore is algebraizable in the sense of (...) Blok and Pigozzi. On the other hand, the logic LFI2* satisfies a somewhat counter-intuitive property: the universal and the existential quantifier are inter-definable by means of the paraconsistent negation, as it happens in classical first-order logic with respect to the classical negation. This feature seems to be unnatural, given that both quantifiers have the classical meaning in LFI2*, and that this logic does not satisfy the De Morgan laws with respect to its paraconsistent negation. The first goal of the present article is to introduce a first-order version of Ciore (which we call QCiore) preserving the spirit of Ciore, that is, without introducing unexpected relationships between the quantifiers. The second goal of the article is to adapt to QCiore the partial structures semantics for the first-order paraconsistent logic LPT1 introduced by Coniglio and Silvestrini, which generalizes the semantic notion of quasi-truth considered by Mikeberg, da Costa and Chuaqui. Finally, some important results of classical Model Theory are obtained for this logic, such as Robinson’s joint consistency theorem, amalgamation and interpolation. Although we focus on QCiore, this framework can be adapted to other 3-valued first-order LFIs. (shrink)

In abstract algebraic logic, many systems, such as those paraconsistent logics taking inspiration from da Costa's hierarchy, are not algebraizable by even the broadest standard methodologies, as that of Blok and Pigozzi. However, these logics can be semantically characterized by means of non-deterministic algebraic structures such as Nmatrices, RNmatrices and swap structures. These structures are based on multialgebras, which generalize algebras by allowing the result of an operation to assume a non-empty set of values. This leads to an interest (...) in exploring the foundations of multialgebras applied to the study of logic systems. -/- It is well known from universal algebra that, for every signature Sigma, there exist algebras over Sigma which are absolutely free, meaning that they do not satisfy any identities or, alternatively, satisfy the universal mapping property for the class of Sigma-algebras. Furthermore, once we fix a cardinality of the generating set, they are, up to isomorphisms, unique, and equal to algebras of terms (or propositional formulas, in the context of logic). Equivalently, the forgetful functor, from the category of Sigma-algebras to Set, has a left adjoint. This result does not extend to multialgebras. Not only multialgebras satisfying the universal mapping property do not exist, but the forgetful functor U, from the category of Sigma-multialgebras to Set, does not have a left adjoint. -/- In this paper we generalize, in a natural way, algebras of terms to multialgebras of terms, whose family of submultialgebras enjoys many properties of the former. One example is that, to every pair consisting of a function, from a submultialgebra of a multialgebra of terms to another multialgebra, and a collection of choices (which selects how a homomorphism approaches indeterminacies), there corresponds a unique homomorphism, what resembles the universal mapping property. Another example is that the multialgebras of terms are generated by a set that may be viewed as a strong basis, which we call the ground of the multialgebra. Submultialgebras of multialgebras of terms are what we call weakly free multialgebras. Finally, with these definitions at hand, we offer a simple proof that multialgebras with the universal mapping property for the class of all multialgebras do not exist and that U does not have a left adjoint. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results (...) hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, (...) our framework is adapted to provide a class of twist-valued models generalizing Löwe and Tarafder’s model based on logic (PS 3,∗), showing that they are paraconsistent models of ZFC. The present approach offers more options for investigating independence results in paraconsistent set theory. (shrink)

The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with (...) more than two values? Because, we argue, one has to decide how to deal with bivalence and settle down the tradeoff between logical 2-valuedness and truth-functionality, from a pragmatical standpoint. -/- This paper will illustrate the ups and downs of a two-valued reduction of logic. Suszko’s reductive result is quite non-constructive.We will exhibit here a way of effectively constructing the two-valued semantics of any logic that has a truth-functional finite-valued semantics and a sufficiently expressive language. From there, as we will indicate, one can easily go on to provide those logics with adequate canonical systems of sequents or tableaux. The algorithmic methods developed here can be generalized so as to apply to many non-finitely valued logics as well —or at least to those that admit of computable quasi tabular two-valued semantics, the so-called dyadic semantics. (shrink)

We investigate the higher-order modal logic , which is a variant of the system presented in our previous work. A semantics for that system, founded on the theory of quasi sets, is outlined. We show how such a semantics, motivated by the very intuitive base of Schrödinger logics, provides an alternative way to formalize some intensional concepts and features which have been used in recent discussions on the logical foundations of quantum mechanics; for example, that some terms like 'electron' have (...) no precise reference and that 'identical' particles cannot be named unambiguously. In the last section, we sketch a classical semantics for quasi set theory. (shrink)

The issue of what consequences to draw from the existence of non-classical logical systems has been the subject of an interesting debate across a diversity of fields. In this paper the matter of alternative logics is considered with reference to a specific belief system and its propositions :the Azande are said to maintain beliefs about witchcraft which, when expressed propositionally, appear to be inconsistent. When the Azande have been presented with such inconsistencies, they either fail to see them as such (...) or else accept them as non-problematical. Is our knowledge of logical truths a relative and culturally determined phenomenon, or is there some (transcendent) criterion that allows us to adjudicate between alternative logical systems? The authors propose an approach for resolving disputes about the status of Azande reasoning which assumes a paraconsistent framework, thus providing a new perspective on this debate. (shrink)

Da Costa and French explore the consequences of adopting a 'pragmatic' notion of truth in the philosophy of science. Their framework sheds new light on issues to do with belief, theory acceptance, and the realism-antirealism debate, as well as the nature of scientific models and their heuristic development.

Rousseau é reconhecido como um dos grandes filósofos da nossa tradição ocidental, sobretudo pelo impacto que os seus ideais tiveram na definição da ideologia moderna de viés republicano e até mesmo liberal. Porém, apesar da defesa incansável daqueles que viriam a ser os ideais revolucionários franceses, Rousseau insiste em manter uma prática de desigualdade naturalizada, considerando as mulheres como inferiores e eternas desiguais dos homens. Mary Wollstonecraft foi a primeira a fazer a denúncia da contradição do pensamento de Rousseau, na (...) obra que viria a ser o marco de uma literatura feminista: A Vindication for the Rights of Women. Porém, até mesmo esta denúncia está circunscrita àquele horizonte que Rousseau contribuira para desenhar: o horizonte da universalidade dos direitos, das liberdades e da igualdade. Neste artigo queremos caracterizar esta contradição levando em conta contribuições recentes de críticas feministas e apontando sua relação com o projeto democrático mais vasto. (shrink)

In this paper we will present the philosopher Friedrich Nietzsche’s main reflections on the scientific enterprise, its relation to the metaphysical tradition, and how the German author drew on the nineteenth century cosmological discussion to develop a worldview that ultimately endorses a dynamic and more creative form of science, whose representations and values should not be separated from human interests.

The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the (...) resulting approach to accommodate semantic paradoxes. (shrink)

This paper is concerned with the particular problems raised by observations of phenomena outside the common course of nature for their validation as knowledge. It examines to what extent the content of the reports and, in particular, their lack of intrinsic plausibility affected the methods used in their authentication and the assessment of testimony at the Royal Society in the first half of the eighteenth century. I show that literary strategies were usually necessary but not sufficient for the validation of (...) these kinds of observations. Next, I discuss why visual representations were especially useful in establishing the singularity of the observations, but I point out that their high costs and other restrictions meant that they were not so widespread. In contrast I show that, for a long period of time, testimony was used in the majority of the reports as the true stamp of authenticity. I note, however, that the Royal Society accepted reports by authors of varied social status, level of education and occupation, and I discuss some of the factors responsible for the complexity of the handling of testimony at the Society. I argue against Shapin that in the case of reports of extraordinary phenomena, the competence of the reporter and witnesses was often more important than their social status. The increasing role of expertise in the assessment of observations at the Society become especially apparent by the middle of the eighteenth century.Author Keywords: Authentication; Competence; Monstrous births; Singular; Testimony; Royal Society of London. (shrink)

This paper is a critic analysis of a doctorate thesis and a master dissertation, which subjects are the samba and the afro religions in the city of São Paulo. Both consider the samba and the religion as manifestations and cultural expressions through which the black population in afro-diaspora rebuilded and reupdated memories via religiosity, rythm, dance and performan.

An introduction to the model-theoretic approach in the philosophy of science is given and it is argued that this program is further enhanced by the introduction of partial structures. It is then shown that this leads to a natural and intuitive account of both "iconic" and mathematical models and of the role of the former in science itself.

Sports occupy an interesting ethical space from a pedagogic point of view, being included in physical education curricula in most Western countries. The approach of physical education to sports as vehicle for ethical education is too limited when it is restricted to their minimal functional, constitutive and regulatory goals. This essay’s aim is to argue the extent to which the ethical potential of physical education can embrace more than functional purposes, or whether that will be neglected in terms of limited (...) educational aspirations. We present data from nineteen exploratory interviews with experienced philosophy, sports and physical education researchers and teachers, from six different nations, concerning the ethical potentiality of physical education. We highlight five ethical themes: (i) the regulatory and normative structure of sports; (ii) the spirit of sports and its internal values; (iii) the right playing/doing of sports; (iv) the overcoming in sports; and (v) sports as an opportunity for a supererogatory ethics as fertile ground for future operationalization of the potential of physical education for ethical education through sports.El deporte ocupa un interesante espacio ético desde un punto de vista pedagógico, integrándose en los curricula de educación física en la mayoría de países occidentales. El planteamiento de la educación física como vehículo de la educación ética es limitado cuando restringido a sus objetivos mínimos funcionales, constitutivos y regulatorios. El objetivo de este estudio es discutir si el potencial ético de la educación física puede ir más allá de los propósitos funcionales, que considerados aisladamente constituyen un desperdicio de la experiencia pedagógica del deporte. Para conseguirlo, presentamos datos de diecinueve entrevistas exploratorias con experimentados investigadores y profesores de filosofía, deporte y educación física relacionadas con las potencialidades éticas de la educación física. La muestra incluye individuos de seis diferentes nacionalidades, cuyo trabajo demuestra preocupaciones con el tema. La argumentación resulta de cinco temáticas principales: (i) Estructura normativa y regulativa del deporte; (ii) El espírito del deporte y sus valores internos; (iii) El bien hacer deportivo; (iv) La superación deportiva; (v) El deporte como oportunidad de una ética supererogatoria como contexto fértil para la concretización del potencial ético de una educación deportiva. (shrink)

Procuramos expor o pluralismo de leituras da obra freudiana mediante a exploração da hipótese de historicização da formação psíquica dos sujeitos, especialmente relativa ao complexo de Édipo e Supereu. Partindo da perspectiva de estudos feministas, verificamos no corpus teórico freudiano se há a possibilidade de que o avanço sócio-histórico seja um fator de modificação de concepções que, na leitura freudiana clássica, seriam lidas como imutáveis, fixas e rígidas cultural e historicamente. Madelon Sprengnether, Nancy Chodorow e Judith Butler serão retomadas para (...) criticar a leitura clássica e generalizante do complexo de Édipo enquanto “estrutural”, essencializado e substancializado. Sugerimos que, sendo uma lei hegemônica, a vivência edípica não pode ser completamente ultrapassada, mas pode ser performativamente atuada de formas desviantes de sua estrutura classicamente pensada por Freud. Nesse âmbito, a transmissão geracional é nosso enfoque primordial. Ela é debatida ao menos em três momentos complementares: na análise da filogênese, da herança arcaica e do Édipo social exposta em Totem e tabu, na herança narcísica de expectativas e ideais compreendida em Introdução ao narcisismo e na teoria da perpetuação de valores e tradições morais via identificações geracionais superegoicas que consta nas Novas Conferências sobre Psicanálise. (shrink)

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...) as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

Esta pesquisa pretende investigar sobretudo a relação entre Sociedade e Estado. A sociedade sob a perspectiva de Tocqueville enquanto corpo coletivo democrático, ou igual. A igualdade é entendida pelo autor como um “fato social”. Tocqueville chama de estado social de igualdade de condições a conjuntura política organizacional do povo americano por ele encontrado à época de sua visita aos EUA. Já o Estado, visto pelo autor como resultado das condições da sociedade, sendo este, instituição arquitetada dentro de parâmetros democráticos de (...) igualdade e liberdade, pelo próprio povo, que se auto governa, não apenas como instituições ou órgãos degoverno. (shrink)

In his influential work, A social history of truth, Steven Shapin has argued for the central role of social status in the assessment of experimental knowledge. In his view, in seventeenth-century England, gentlemen were considered the right kind of persons to trust because of their freedom of action, codes of virtue and honour. These characteristics ensured credibility and, hence, compelled assent. However, Shapin does not put sufficient emphasis on the relevance of the testifier’s competence in the validation of knowledge. When (...) and in which circumstances did expertise become more important than social status in the accreditation of natural knowledge? [...] I argue in this paper that it is in the realm of interpretation of unusual and ambiguous anatomies that medical and, in particular, anatomical expertise assumed its most crucial role. Moreover, the medical understanding of the hermaphroditic body in the eighteenth century can be considered one of the most illustrative cases of the construction and display of anatomical expertise. In fact, several of the academic memoirs and dissertations published on hermaphrodites in the eighteenth century attempted precisely to fulfil this purpose. (shrink)

The fact that monstrous births were not represented in independent learned publications of the eighteenth century, except for the case of hermaphrodites, does not mean that the interest in them had disappeared or that they were no more considered proper objects of inquiry. This paper focuses on the medical understanding of monstrosity at the Royal Society of London. I point to the use of monstrous births in strengthening the authority of medical practitioners and lecturers. I also show some of their (...) uses in providing new questions for the scenes of medical inquiry of the period and as crucial evidence in the understanding of regular physiological phenomena. I discuss some of the reasons why monstrous formations continued to defy an 'Enlightenment' approach to nature based on the search for order and regularity. (shrink)

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can (...) be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed. (shrink)

Body awareness refers to the individual ability to process signals originating from within the body, which provide a mapping of the body’s internal landscape and its relation with space and movement. The present study aims to evaluate psychometric properties and validate in French two self-report measures of body awareness: the Postural Awareness Scale, and the last version of the Multidimensional Assessment of Interoceptive Awareness questionnaire. We collected data in a non-clinical, adult sample using online survey, and a subset of the (...) original sample also completed the retest control. Factor analyses and reliability analyses were conducted. Construct validity of the PAS and the MAIA-2 were examined by testing their association with each other, and with self-report measures of personality, alexithymia and dispositional trait mindfulness. Factor analyses of the PAS supported the same two-factor structure as previously published versions. For the MAIA-2, factor analyses suggested that a six-factor structure, excluding Not-Worrying and Not-Distracting factors, could successfully account for a common general factor of self-reported interoception. We found satisfactory internal consistency, construct validity, and reliability over time for both the PAS and the MAIA-2. Altogether, our findings suggest that the French version of the PAS and the MAIA-2 are reliable self-report tools to assess both components of body awareness. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of the theory and (...) to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)